((((GenConcl $f$($x$) = $z$) 
\\[0ex]CollapseTHENA (Auto$\cdot$))$\cdot$) 
\\[0ex]CollapseTHEN (((D ({-}2)$\cdot$) 
\\[0ex]CollapseTHEN (
\\[0ex]((Reduce 0) 
\\[0ex]CollapseTHEN (Auto$\cdot$))$\cdot$))$\cdot$))$\cdot$